n (logic) The set of all entities over which quantifiers—including "for all" and "there exists"—range.